退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:LTL符号可满足性检验的多编码方法
Kristin Y. Rozier; Moshe Y. Vardi;
机译:LTL可满足性检查的显式过渡系统构建方法
机译:基于SAT的显式LTL_F可靠性检查
机译:基于SAT的显式LTL推理及其在满意度检查中的应用。
机译:LTL符号满意度检查的多编码方法
机译:在符号模型检查中基于可满足性的抽象优化。
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:游戏结束:LTL满意度和模型检查的焦点方法
机译:LTL模型检查系统,LTL模型检查方法和LTL模型检查程序
机译:本地文件系统连接系统,例如办公室工作站计算机,具有中间系统和符号链接,其中检查工作站计算机通过符号链接访问本地文件系统,而无需在计算机之间进行路由
机译:满意度检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。